1. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
6. Categorical Topology
پدیدآورنده: edited by Eraldo Giuli.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
8. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
